≡
5/5 < 12345